Esakia Duality for Heyting Small Spaces

We continue our research plan of developing the theory small and locally spaces, proposing this as a realisation Grothendieck’s idea tame topology on level general topology. In paper, we develop Heyting spaces prove new version Esakia Duality for such spaces. To do this, notice that spectral may be seen sober with all smops compact introduce method standard spectralification. This helps to understand open continuous definable mappings between over o-minimal structures.